The book addresses all aspects of static analysis including abstract domains, abstract interpretation, abstract testing, ...